((lambda (z) ((lambda (x y) (+ (- x y) z)) 3 5)) 6)